SQType($\mathbb{Z}$)